Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

A Learning-Based Fact Selector for Isabelle/HOL

Рік:
2016
Мова:
english
Файл:
PDF, 653 KB
english, 2016
27

Epidemiology of Bednar tumors in the United States

Рік:
2016
Мова:
english
Файл:
PDF, 106 KB
english, 2016
36

DICTUM

Рік:
2019
Мова:
english
Файл:
PDF, 8.87 MB
english, 2019